implicit differentiation ln